1. FMSE'05 : proceedings of the 2005 ACM Workshop on Formal Methods in Security Engineerign, November 11, 2005, Fairfax, Virginia, USA )co-located with CCS 2005(
المؤلف: Ralf Kusters & John Mitchell, editors; sponsored by ACM Special Interest Group on Security, Audit & Control )SIGSAC(
المکتبة: (طهران)
موضوع: Congresses ، Computer security,Congresses ، Formal methods )Computer science(
رده :
QA
76
.
9
.
A25A326
2005
2. FMSE'03 : proceedings of the 2003 ACM Workshop on Formal Methods in Security Engineering : Washington, DC, USA, October 30, 2003 : co-located with CCS'03
المؤلف: edited by Michael Backes, David Basin & Michael Waidner
المکتبة: (طهران)
موضوع: Congresses ، Computer security,Congresses ، Formal methods )Computer science(
رده :
QA
76
.
9
.
A25A326
2003
3. FMSE'04 : proceedings of the 2004 ACM Workshop on Formal Methods in Security Engineering, Washington, DC, USA, October 29, 2004 : co-located with CCS 2004
المؤلف: Sponsored by ACM SIGSAC; General co-chairs : Michael Backes, David Basin & Michael Waidner
المکتبة: (طهران)
موضوع: Congresses ، Computer security,Congresses ، Formal methods )Computer science(
رده :
QA
76
.
9
.
A25A326
2004
4. Formal aspects in security and trust :
المؤلف: Theo Dimitrakos ... [et al.] (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer security, Congresses.,Formal methods (Computer science), Congresses.
5. Formal aspects in security and trust :
المؤلف: Pierpaolo Degano, Joshua Guttman, Fabio Martinelli (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer security, Congresses.,Formal methods (Computer science), Congresses.,Public key infrastructure (Computer security), Congresses.
6. Formal aspects of security : first international conference, FASec 2002 : London, UK, December 16-18, 2002 : revised papers
المؤلف: Ali E. Abdallah, Peter Ryan, Steve Schneider )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Computer security,Congresses ، Formal methods )Computer science(
رده :
QA
76
.
L28
Vol
.
2629
7. Foundations and applications of security analysis
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computer security ; Congresses. ; Formal methods (Computer science) ; Congresses. ; Cryptography ; Congresses. ;
8. Foundations and applications of security analysis
المؤلف: / Pierpaolo Degano, Luca Vigan?o (eds.)
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Computer security--Congresses,Formal methods (Computer science)--Congresses,Cryptography--Congresses
رده :
QA
,
76
.
9
,.
A25
,
J65
,
2009
